HotJava could not write the new version of &badness;.

v1.4